Workshop on Logic - PDFSEARCH.IO - Document Search Engine

Workshop on Logic
Results: 113

#	Item
11	CALL FOR PAPERS Reed-Muller 2017 Workshop May 24-25, 2017, Novi Sad, Serbia After the International Symposium on Multiple-Valued Logic, May 22-24, 2017, Novi Sad, Serbia The goal of the Reed-Muller 2017 Workshop is to pr Add to Reading List Source URL: www.mvl.jpn.org - Date: 2016-10-23 18:01:27
12	JMLR: Workshop and Conference Proceedings 13: 2nd Asian Conference on Machine Learning (ACML2010), Tokyo, Japan, Nov. 8–10, 2010. An EM algorithm on BDDs with order encoding for logic-based probabilistic models Add to Reading List Source URL: jmlr.csail.mit.edu - Date: 2010-10-31 03:38:46
13	14th International Workshop on Termination (WSTCarsten Fuhs (Editor) WST 2014, 17–18 July 2014, Vienna, Austria Vienna Summer of Logic Preface Add to Reading List Source URL: easychair.org
14	FCS 2009 Workshop on Foundations of Computer Security July 10th, 2009 Los Angeles, California, USA Affiliated with LICS’09 Add to Reading List Source URL: www.loria.fr Language: English - Date: 2009-07-20 04:50:04 Logic Proof theory Mathematical logic Philosophy Sequent Linear logic Soundness Logic programming Inductive reasoning
15	The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent Foundations Add to Reading List Source URL: math.andrej.com Language: English - Date: 2016-07-28 09:19:23 Software engineering Software Programming language theory Type theory Proof assistants Functional languages Agda Univalent foundations Mathematical logic Coq Type system
16	Proceedings of the 6th International Workshop on the Implementation of Logics Christoph Benzm¨ uller, Bernd Fischer, Geoff Sutcliffe Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2006-11-07 08:18:44 Theoretical computer science Automated theorem proving Mathematical logic Software Superposition calculus E theorem prover Vampire Term indexing Resolution Handbook of Automated Reasoning Automated reasoning Unification
17	****************************************************************** 日仏ワークショップ「論理・言語・計算-比較文化的視点」（Franco-Japanese workshop on Logic,Language, and comp Add to Reading List Source URL: abelard.flet.keio.ac.jp Language: English - Date: 2012-10-18 06:19:40** Manga Tatsuo Nishida Crest of the Royal Family
18	IDT Series LOAIT 2009 3rd Workshop on Legal Ontologies and Artificial Add to Reading List Source URL: idt.uab.cat Language: English - Date: 2015-10-21 12:03:07 Semantic Web Computing Ontology Information science Cognitive science Knowledge representation Knowledge engineering Web Ontology Language Description logic Semantic reasoner UAB Institute of Law and Technology Leibniz Center for Law
19	CADE-18 Workshop: Problems and Problem Sets Contents: John Harrison Invited talk: Extracting Test Problems from Real Applications J Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2002-06-13 14:56:18 Automated theorem proving Theoretical computer science Mathematical logic Software engineering TPTP Automated reasoning SPASS Reasoning system Prolog Model elimination OMDoc System on TPTP
20	Munich, Germany August 21, 2009 PLMMS’09 Proceedings of the ACM SIGSAM 2009 International Workshop on Programming Add to Reading List Source URL: plmms09.cse.tamu.edu Language: English - Date: 2009-08-19 04:48:38 Algebraic structures Mathematical logic Algebraic logic Lattice theory Order theory Galois connection Field Heyting algebra Relation algebra variste Galois Residuated lattice Group